associative law of morphism

[数] 同态结合律